\section{Pahantom Types}

A simple example

\inputminted[fontsize=\scriptsize]{ocaml}{lang/code/phantom_lambda.ml}
\inputminted[fontsize=\scriptsize]{ocaml}{lang/code/phantom_si.ml}
\inputminted[fontsize=\scriptsize]{ocaml}{lang/code/phantom_bat.ml}
\inputminted[fontsize=\scriptsize]{ocaml}{lang/code/phantom.ml}

A fancy example. 
\inputminted[fontsize=\scriptsize]{ocaml}{lang/code/phantom_dim_array.ml}



\subsection{Useful links}
\href{http://camltastic.blogspot.com/2008/05/phantom-types.html}{jones}

\href{http://www.quora.com/What-are-good-applications-of-phantom-types}{jambo}

\href{http://caml.inria.fr/pub/ml-archives/caml-list/2001/09/081c77179ee2a3787233902a51633122.en.html}{caml}

\href{https://ocaml.janestreet.com/?q=node/11}{jane}



%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "../master"
%%% End: 
